Browsing by Subject "Logic programming"

Now showing items 1-20 of 50

    • Conference Object  

      A-system: Problem solving through abduction 

      Kakas, Antonis C.; Van Nuffelen, B.; Denecker, M. (2001)
      This paper presents a new system, called the A-System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...
    • Article  

      Abduction in logic programming 

      Denecker, M.; Kakas, Antonis C. (2002)
      Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. ...
    • Article  

      Abductive concept learning 

      Kakas, Antonis C.; Riguzzi, F. (2000)
      We investigate how abduction and induction can be integrated into a common learning framework. In particular, we consider an extension of Inductive Logic Programming (ILP) for the case in which both the background and the ...
    • Article  

      An abductlve-based scheduler for air-crew assignment 

      Kakas, Antonis C.; Michael, Antonia (2001)
      This article presents the design and implementation of an air-crew assignment system, for producing and refining a solution to this problem, based on the artificial intelligence principles and techniques of abductive ...
    • Article  

      ACLP: Abductive Constraint Logic Programming 

      Kakas, Antonis C.; Michael, Antonia; Mourlas, Constantinos (2000)
      This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and ...
    • Article  

      ACLP: Flexible solutions to complex problems 

      Kakas, Antonis C.; Mourlas, G. (1997)
      In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
    • Article  

      Agent planning, negotiation and control of operation 

      Kakas, Antonis C.; Torroni, P.; Demetriou, Neophytos (2004)
      This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality ...
    • Article  

      Air-crew scheduling through abduction 

      Kakas, Antonis C.; Michael, Antonia (1999)
      This paper presents the design and implementation of an aircrew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic ...
    • Article  

      Application of abductive ILP to learning metabolic network inhibition from temporal data 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2006)
      In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...
    • Conference Object  

      Argumentation and temporal persistence 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2011)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E for Reasoning about Actions and Change into a Logic Programming ...
    • Article  

      Argumentation and the event calculus 

      Hadjisoteriou, Evgenios; Kakas, Antonis C. (2012)
      We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language for ε Reasoning about Actions and Change into a Logic Programming ...
    • Conference Object  

      Argumentation for propositional logic and nonmonotonic reasoning 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (CEUR-WS, 2014)
      Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework ...
    • Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • Article  

      Asynchronous timed multimedia environments based on the coordination paradigm 

      Papadopoulos, George Angelos (2003)
      This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
    • Article  

      Classical methods in nonmonotonic reasoning 

      Dimopoulos, Yannis (1994)
      In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...
    • Book  

      Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski 

      Kowalski, Robert; Kakas, Antonis C.; Sadri, Fariba 1956- (Springer, 2002)
    • Article  

      Computational logic foundations of KGP agents 

      Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2008)
      This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous agents that can interact with each other, ...
    • Article  

      Computing argumentation in logic programming 

      Kakas, Antonis C.; Toni, F. (1999)
      In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing ...
    • Article  

      Computing the acceptability semantics 

      Toni, F.; Kakas, Antonis C. (1995)
      We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
    • Article  

      Concurrent object-oriented programming using term graph rewriting techniques 

      Papadopoulos, George Angelos (1996)
      The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel features of TGRS in a ...